Logical truth - PDFSEARCH.IO - Document Search Engine

Logical truth
Results: 321

#	Item
21	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
22	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Logic Mathematical logic Semantics Boolean algebra Propositional calculus Model theory Truth table Many-valued logic Interpretation Logical connective ukasiewicz logic Tautology
23	Mixed superposition rules: theory and applications Javier de Lucas Araujo (joint work with J. Grabowski) Institute of Mathematics, Polish Academy of Sciences Add to Reading List Source URL: www3.ubu.es Language: English - Date: 2012-09-12 15:13:31 Mathematics Ordinary differential equations Physics Logical truth Linear system Systems theory Integral curve Vector space
24	ERRATA AND MISPRINTS FOR BOOK “DIFFEOLOGY” PATRICK IGLESIAS-ZEMMOUR ref. http://math.huji.ac.il/~piz/documents/DBlog-Errata.pdf Misprints and Errata in Articles. Add to Reading List Source URL: math.huji.ac.il Language: English - Date: 2014-09-22 05:45:38 Measure theory Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol
25	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof
26	1 Duplication-Correcting Codes for Data Storage in the DNA of Living Organisms Siddharth Jain, Farzad Farnoud (Hassanzadeh), Member, IEEE, Moshe Schwartz, Senior Member, IEEE, Jehoshua Bruck, Fellow, IEEE Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2016-06-01 05:46:52 Mathematics Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Polynomials Fundamental theorem of algebra Permutation polynomial
27	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
28	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
29	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem